Structuring Real-Time Object-Z Specifications
نویسندگان
چکیده
منابع مشابه
ساختار دهی آنی دادههای مکانی ورودی GIS با تأکید بر عارضه راه
An important issue in implementation of a GIS system is preparation of data to be entered in GIS. To produce spatial data for GIS using photogrammetric techniques, conventional method is to apply photogrammetric and GIS systems individually (off-line procedure). This approach is costly, time consuming and somehow unreliable due to the fact that 3D photogrammetric model is not available at the ...
متن کاملAn Object-Oriented Structuring for Z Based on Views
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) style. Our structuring is based on views, it uses the schema calculus, and it does not extend Z. The resulting OO Z specifications are comprehensible, modular, and conceptually clear. The modularity of the new approach su...
متن کاملSome Elements of Z Specification Style: Structuring Techniques
This article investigates the issue of structuring Z specifications. It uses examples from a large specification (the production cell) to examine both conventions for using Z and notational extensions, including Object-Z. Because of the importance of good structure within a specification, specifiers need to be aware of a range of structuring techniques and understand where each is applicable.
متن کاملObject-Oriented Structuring of Real-Time Autonomous Decentralized Systems
A promising cost-effective approach to realizing RT ADS's is to use the emerging technology for RT distributed component/object structuring. One such technology being explored by the author and his research collaborators is the the Time-Triggered MessageTriggered Object (TMO) structuring scheme [Kim94, Kim97b]. The TMO scheme is intended to facilitate RT distributed software engineering in a fo...
متن کاملPresenting Object Oriented Formal Requirements Specifications: Insights from an Action Research Study
This paper describes, in outline, our experiences in structuring and presenting formal requirements specifications, and in particular the insights gained from an action research study undertaken within the Western Australian state government. The overall aim of the project was to evaluate and enhance an information systems development method, known as FOOM (Formal Object Oriented Method). FOOM ...
متن کامل